شیوه استنتاج طبیعی در سیستم های زمانی kt و kc
نویسندگان
چکیده
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شیوه ای از استنتاج طبیعی را در پاره ای از سیستم های منطق زمان همچون kt و kc معرفی نموده و در محاسبات صوری این سیستم ها بکار گیرد
منابع مشابه
شیوه استنتاج طبیعی در سیستم های زمانی kt و kc
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...
متن کاملسیستم استنتاج عصبی - فازی تطبیقی خودبازخورد آموزشیافته با الگوریتم رقابت استعماری برای پیشبینی سریهای زمانی آشوبناک
پیشبینی سریهای زمانی، مخصوصاً سریهای زمانی آشوبیِ سیستمهای پویای غیرخطی، یکی از زمینههای مهم تحقیقاتی است و کاربرد زیادی در زمینههای گوناگون دارد. از میان روشهای معرفیشده برای پیشبینی سریهای زمانی آشوبناک، به استفاده از شبکههای عصبی و سیستمهای فازی بیشتر توجه شده است. در این مقاله، سیستم استنتاج عصبی - فازی تطبیقیِ بهبودیافته، برای پیشبینی سریهای زمانی آشوبناک پیشنهاد شده است. با تو...
متن کاملDegenerate Four Wave Mixing in Photonic Crystal Fibers
In this study, Four Wave Mixing (FWM) characteristics in photonic crystal fibers are investigated. The effect of channel spacing, phase mismatching, and fiber length on FWM efficiency have been studied. The variation of idler frequency which obtained by this technique with pumping and signal wavelengths has been discussed. The effect of fiber dispersion has been taken into account; we obtain th...
متن کاملDo knowledge translation (KT) plans help to structure KT practices?
BACKGROUND A knowledge translation (KT) planning template is a roadmap laying out the core elements to be considered when structuring the implementation of KT activities by researchers and practitioners. Since 2010, the Institut national de santé publique du Québec (INSPQ; Québec Public Health Institute) has provided tools and guidance to in-house project teams to help them develop KT plans. Th...
متن کاملGaurav S. Kc
My research interests are in the areas of software systems and security. For my Ph.D. research, I’ve been looking at methods to fortify software applications and the operating system to withstand increasingly sophisticated attacks by black-hat hackers. To accomplish these tasks, I have modified various open-source systems like the Linux kernel, the GNU C compiler and the bochs x86 emulator. In ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
فلسفهناشر: دانشکده ادبیات وعلوم انسانی
ISSN 2008-1553
دوره 4و5
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023